შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

წელი:
2010
ენა:
english
ფაილი:
PDF, 3.93 MB
0 / 0
english, 2010
2
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

წელი:
2010
ენა:
english
ფაილი:
PDF, 5.00 MB
0 / 0
english, 2010
3
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

წელი:
1992
ენა:
english
ფაილი:
PDF, 8.62 MB
0 / 0
english, 1992
4
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

წელი:
2010
ენა:
english
ფაილი:
PDF, 4.01 MB
0 / 0
english, 2010
5
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

წელი:
1985
ენა:
english
ფაილი:
DJVU, 4.53 MB
0 / 0
english, 1985